if nasa had the military budget